If-then Rule

释义 Definition

if-then rule：“如果……那么……”规则；指一种条件规则/条件语句：当“if”部分（条件、前提）成立时，就推出“then”部分（结果、结论）。常见于逻辑、数学证明、编程与决策规则中。（也可泛指基于条件触发的规定或策略。）

发音 Pronunciation (IPA)

/ˈɪf ˌðɛn ruːl/

例句 Examples

If the light is red, then you must stop.
如果红灯亮了，那么你必须停车。

In formal logic, an if-then rule helps you infer a conclusion from a given premise under specific conditions.
在形式逻辑中，“如果……那么……”规则帮助你在特定条件下由已知前提出发推导出结论。

词源 Etymology

该表达由英语常见结构 if…then…（如果……那么……） 加上 rule（规则） 组合而成。“if…then…”用于标记条件关系，在传统逻辑中对应“条件命题/蕴含”（implication）的表达方式；在计算机科学中也常对应条件语句（如 if-then 或 if-then-else）的思想。

相关词 Related Words

• Conditional
• Implication
• Premise
• Conclusion
• Inference
• Modus Ponens
• Rule
• Logic

文学与著作 Literary Works

• Principia Mathematica（Whitehead & Russell）：大量使用条件式推理与规则化表述（包括“若……则……”式结构）。
• An Introduction to Mathematical Logic（Elliott Mendelson）：讨论条件命题与推理规则，常见 if-then 形式。
• How to Prove It: A Structured Approach（Daniel J. Velleman）：用 if-then 结构讲解证明与推导。
• Discrete Mathematics and Its Applications（Kenneth H. Rosen）：在逻辑与证明章节频繁出现 if-then 规则与相关概念。